منابع مشابه
Generics and Reverse Generics for Pharo
Generic programming is a mechanism for re-using code by abstracting specific types used in classes and programs. In this paper, we present a mechanism for adding generic programming in dynamically typed languages, showing how programmers can benefit from generic programming. Furthermore, we enhance the expressiveness of generic programming with reverse generics, a mechanism for automatically de...
متن کاملVerifying Generics and Delegates
Recently, object-oriented languages, such as C, have been extended with language features prevalent in most functional languages: parametric polymorphism and higher-order functions. In the OO world these are called generics and delegates, respectively. These features allow for greater code reuse and reduce the possibilities for runtime errors. However, the combination of these features pushes t...
متن کاملMultiJava, JML, and Generics
The goal of this semester project is to extend the already existing support for generics in the MultiJava compiler by implementing special features of Java generics on top of it, namely wildcards and raw types, while also making the necessary modifications to JML. To that end, we will give a brief overview of Java generics and describe the main design decisions behind its specification before p...
متن کاملGenerics and Defaults1
1: Linguistic and Epistemological Background 1.1: Generic Reference vs. Generic Predication 1.2: Why are there any Generic Sentences at all? 1 .3: Generics and Exceptions, Two Bad Attitudes 1 .4: Exceptions and Generics, Some Other Attitudes 1 .5: Generics and Intensionality 1 .6: Goals of an Analysis of Generic Sentences 1 .7: A Little Notation 1.8: Generics vs. Explicit Statements of Regulari...
متن کاملDefault Reasoning and Generics
There are numerous logical formalisms capable of drawing conclusions using default rules. Such systems, however, do not normally determine where the default rules come from; i.e. what it is which makes Birds fly a good rule, but Birds drive trucks—a bad one. Generic sentences such as Birds fly are often used informally to describe default rules. I propose to take this characterization seriously...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Frontiers in Psychology
سال: 2020
ISSN: 1664-1078
DOI: 10.3389/fpsyg.2020.01274